conditional statements in discrete mathematics